Inputs and Outputs in CSP

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Testing with Inputs and Outputs in CSP

This paper addresses refinement and testing based on CSP models, when we distinguish input and output events. From a testing perspective, there is an asymmetry: the tester (or the environment) controls the inputs, and the system under test controls the outputs. The standard models and refinement relations of CSP are, therefore, not entirely suitable for testing. Here, we adapt the CSP stable-fa...

متن کامل

Inputs and Outputs in Islamic Banking System

Evaluation of performance and productivity is among the fundamental concepts inmanagement. In order to achieve their goals, organizations must evaluate theirperformance. One of the important stages of performance appraisal is evaluation oforganization’s efficiency. Banks, financial and credit institutions are among the mostimportant organizations of every economic system, because every activity...

متن کامل

Inputs and Outputs Estimation in Inverse DEA

The present study addresses the following question: if among a group of decision making units, the decision maker is required to increase inputs and outputs to a particular unit in which the DMU, with respect to other DMUs, maintains or improves its current efficiencylevel, how much should the inputs and outputs of the DMU increase? This question is considered as a problem of inverse data envel...

متن کامل

Classifying inputs and outputs in interval data envelopment analysis

Data envelopment analysis (DEA) is an approach to measure the relative efficiency of decision-making units with multiple inputs and multiple outputs using mathematical programming. In the traditional DEA, it is assumed that we know the input or output role of each performance measure. But in some situations, the type of performance measure is unknown. These performance measures are called flexi...

متن کامل

inputs and outputs in islamic banking system

evaluation of performance and productivity is among the fundamental concepts inmanagement. in order to achieve their goals, organizations must evaluate theirperformance. one of the important stages of performance appraisal is evaluation oforganization’s efficiency. banks, financial and credit institutions are among the mostimportant organizations of every economic system, because every activity...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: ACM Transactions on Computational Logic

سال: 2020

ISSN: 1529-3785,1557-945X

DOI: 10.1145/3379508